TAGs: Integer solutions example